<?php
@session_start();
session_unset();
session_destroy();

if(!isset($_REQUEST['session_expired']))
	header("Location: login.html");
else 
	header("Location: login.html?session_expired=1"); 

?>